Lectures on Runtime Verification: Introductory and Advanced Topics: 10457 (Lecture Notes in Computer Science)
by Ezio Bartocci,Yliès Falcone
ISBN 13: 9783319756318
Format: Paperback (244 pages) Publisher: Springer Published: 11 Feb 2018
Save for later
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Lecture Notes in Computer Science, 13065)
by Ezio Bartocci,Yliès Falcone,Martin Leucker
ISBN 13: 9783030873479
Format: Paperback (205 pages) Publisher: Springer Published: 28 Sep 2021